sentential calculus - German English Dictionary